<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<HTML>
<HEAD>
   <META HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=iso-8859-1">
   <META NAME="GENERATOR" CONTENT="Mozilla/4.06 [en] (X11; I; OSF1 V3.2 alpha) [Netscape]">
   <TITLE>prob003: quasigroup existence</TITLE>
</HEAD>
<BODY>

<HR><!------------------------------------------------------------------------>
<CENTER>
<H1>
prob003: quasigroup existence</H1></CENTER>

<CENTER><TABLE>
<TR>
<TD>proposed by&nbsp;</TD>

<TD ALIGN=LEFT><B><A HREF="http://www.cs.york.ac.uk/~tw">Toby Walsh</A></B>
<ADDRESS>
<A HREF="mailto:tw@cs.york.ac.uk">tw@cs.york.ac.uk</A></ADDRESS>
</TD>
</TR>
</TABLE></CENTER>
with assistance from Kostas Stergiou and Mark Stickel.
<BR>
<HR><!------------------------------------------------------------------------>
<H3>
Overview</H3>
The problem description consists of:
<UL>
<LI>
a problem <A HREF="spec.html">specification</A></LI>

<LI>
some comments on <A HREF="models.html">models</A></LI>

<LI>
generators for <A HREF="qg.c">Ilog
Solver</A> and Lisp (<A HREF="qga.lsp">Dimacs
format</A> and <A HREF="qg.lsp">list
format</A>)</LI>

<LI>
a list of <A HREF="refs.html">references</A></LI>

<LI>
a table of <A HREF="results.html">results</A></LI>
</UL>

<HR><!------------------------------------------------------------------------>
<UL><A HREF="../../index.html">Back</A> to CSPLib
home page.</UL>

</BODY>
</HTML>
